/*
 * BroadVision common style-sheet definitions.
 * Browser specific definitions are in other .css files.
 */

body { 
   margin-left: 10%; 
   margin-right: 5%; 
   font-family: verdana, arial, helvetica, sans-serif ;
   background-color: #ffffff;
}

p {
	font-family: verdana, arial, helvetica, sans-serif ;
}

p.p1 {
	margin-top: 0.5em ; 
	margin-left: 2.5em; 
}
p.p2 {
	margin-top: 0.5em ; 
	margin-left: 5em; 
}
p.toc2 {
	margin-top: 0.5ex ; 
	margin-left: 5ex ; 
}
p.toc3 {
	margin-top: 0.5ex ; 
	margin-left: 10ex ; 
}
p.toc4 {
	margin-top: 0.5ex ; 
	margin-left: 15ex ; 
}
p.toc5 {
	margin-top: 0.5ex ; 
	margin-left: 20ex ; 
}

/*
 *  None of them seem to be able to define HR properties.
 *  See the browser specific .css files for attempts.
 */


/* Headings */
h1 {
	margin-left: -9% ; 
	color: #003366;
	font-family: verdana, arial, helvetica, sans-serif; 
}
h1.section-number {
	color: #bbbbbb ;
	font-family: serif;
	font-size: large ;
}

h2 {	color: #003366 ; }

div.h2-rule {
	width: 35%;
	margin-top: 2.5em;
	margin-bottom: 0;
}

h2.folio { 
	margin-top: 1em; 
	margin-left: 0;
}
h2.index { 
	margin-left: -8%;
}

h3 { 
	margin-left: -6% ; 
	margin-top: 1em ; 
	color: #003366 ; 
	font-family: verdana, arial, helvetica, sans-serif ; 
}

h4 { 
	margin-left: -6% ; 
	margin-top: 1em ; 
	color:  #003366 ; 
	font-family: verdana, arial, helvetica, sans-serif ; 
}

h5,h6 {
	margin-left: -6% ;
	color: #003366;
	font-family: verdana, arial, helvetica, sans-serif; 
}


/* Lists */
ol {
	margin-top: 1.2%; 
	margin-bottom: 1.2%;
}

ol.s1 {
	list-style: decimal ;
}
ol.s2 {
	list-style-type: lower-alpha ;
}

dl {
        margin-top: 1.2%; 
        margin-bottom: 1.2%;
}

ul { 
	list-style: disc; 
	margin-top: 1.2% ; 
	margin-bottom: 1.2% ;
}

ul.b1 { 
	list-style: disc; 
}


/* Character styles */
em {	font-style: italic ;}

code { 
	font-family: monospace,code,courier; 
	color: #800000 ;
}

b.issue {
	color: red;
	font-weight: bold ;
}

span.keyboard {
	font-variant: small-caps; 
}

span.blue {
	display: inline;
	color: blue;

}
span.dk-blue {
	display: inline;
	color: #00007f ;

}
span.dk-green {
	display: inline;
	color: #00af00 ;

}
span.strike  { 
	display: inline;
	text-decoration: line-through ; 
	color: red;
}
span.small {
	font-size: x-small ;
}


div.left-align {
	text-align: left; 
}
div.center-align {
	text-align: center; 
}
div.right-align {
	text-align: right; 
}
div.address { 
	margin-left: -9% ; 
	font-family: verdana, arial, helvetica, sans-serif ;   
	font-size: smaller ;
}

div.breadcrumb {  
	margin-left: -9% ;
	font-family: verdana, arial, helvetica, sans-serif ;   
	font-size: smaller ;
        margin-top: 1ex ;
        margin-bottom: 1em ;
}

div.center {
	text-align: center; 
	border: none;
}

div.navbar-top {  
	font-family: verdana, arial, helvetica, sans-serif ;   
	font-size: smaller ;
	margin-left: -10% ;
	padding-left: 1em ;
	padding-bottom: 2pt ;
	border-color: black;
	border-bottom: solid;
	border-bottom-width: thin;
}

div.navbar-bottom {  
	font-family: verdana, arial, helvetica, sans-serif ;   
	font-size: smaller ;
        margin-top: 2em ;
        margin-bottom: 1em ;
	margin-left: -10% ;
	padding-left: 1em ;
	padding-top: 2pt ;
	padding-bottom: 2pt ;
	border-color: black;
	border-top: solid ;
	border-top-width: thin;
	border-bottom: solid;
	border-bottom-width: thin;
}

div.note {  
    margin-left: 5%; 
    font-family: verdana, arial, helvetica, sans-serif ;   
}

div.sidebar {
	width: 20ex ;
	float: right ;
	margin-top: 0 ;
	padding: 0;
	color: #003366 ;
}

div.caution {
        margin-top: 1em ;
        margin-bottom: 1em ;
	margin-left: 5% ; 
	margin-right: 10% ; 
	border-color: red ;
	border-width: thin ;
	border-style: solid ;
	padding: 1ex ;
}

div.issue {
        margin-top: 1em ;
        margin-bottom: 1em ;
	margin-left: 5% ; 
	margin-right: 10% ; 
	border-color: red ;
	border-width: medium ;
	border-style: solid ;
	padding: 1ex ;
	background-color: #ffeeee ; 
}

/* Code listings */
pre {
    color: #800000;
    margin-left: 1em;
    font-family: monospace,courier ;
}
div.example {
    width: 100%;
    border: none;
    background-color: #eee;
    margin-top: 1em;
}
div.example-indent {
    width: 100%;
    border: none;
    background-color: #eee;
    margin-left: 5%;
    margin-top: 1em;
}
pre.example {
    margin-left: 1em;
}
pre.example-indent {
    margin-left: 1em;
}

/* Tables */

tr.colored-head {
	background: #d9d9ff ; 
	vertical-align: top ;  
}

tr.colored-body {
	background: #dddddd ; 
	vertical-align: top ;  
}

th { 
    font-family: verdana, arial, helvetica, sans-serif ; 
    font-weight: bold; 
    padding: 2pt;
}
td { 
    font-family: verdana, arial, helvetica, sans-serif ; 
    padding: 2pt;
}

div.table {
	margin-left: 5% ;
}
div.table-bullet {
	border: none;
}

